منابع مشابه
Write Once, Deploy N
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, case studies. In this position paper, we first present the problem of developing distributed database applications that are optimized for concurrent data access. The problem constraints are avoiding vendor lock-in, mak...
متن کاملRun Once, Write Anyway
Scheme is one of only a few languages with a concise specification and formal semantics. With such a foundation it should be easy to write portable code that, without modification, runs correctly on different Scheme implementations. Yet this goal has proved elusive – there are more than fifty Schemes and writing programs that are portable between even just a few of these implementations is tedi...
متن کاملConcurrent use of write-once memory
We consider the problem of implementing general sharedmemory objects on top of write-once bits, which can be changed from 0 to 1 but not back again. In a sequential setting, write-once memory (WOM) codes have been developed that allow simulating memory that support multiple writes, even of large values, setting an average of 1 + o(1) write-once bits per write. We show that similar space efficie...
متن کاملHow to Reuse a "Write-Once" Memory
Storage media such as digital optical disks, PROMS, or paper tape consist of a number of "write-once" bit positions (wits); each wit initially contains a "0" that may later be irreversibly overwritten with a "1." It is demonstrated that such "write-once memories" (woms) can be "rewritten" to a surprising degree. For example, only 3 wits suffice to represent any 2-bit value in a way that can lat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of the Institute of Television Engineers of Japan
سال: 1992
ISSN: 0386-6831,1884-9652
DOI: 10.3169/itej1978.46.1325